_require "059_opaqueint2.smi"
